Output which shadow mode is used, if any.

Signed-off-by: Christian Limpach <Christian.Limpach@cl.cam.ac.uk>

diff --git a/xen/common/keyhandler.c b/xen/common/keyhandler.c
index b239391462a6b6fea6ecb94066f5f8d5c43e6d9a..0e9bd97e2216e34e015bfcd46ce052501adcb6e3 100644 (file)
--- a/xen/common/keyhandler.c
+++ b/xen/common/keyhandler.c
@@ -13,6 +13,7 @@
 #include <xen/domain.h>
 #include <xen/rangeset.h>
 #include <asm/debugger.h>
+#include <asm/shadow.h>
 
 #define KEY_MAX 256
 #define STR_MAX  64
@@ -131,6 +132,22 @@ static void dump_domains(unsigned char key)
                d->handle[ 4], d->handle[ 5], d->handle[ 6], d->handle[ 7],
                d->handle[ 8], d->handle[ 9], d->handle[10], d->handle[11],
                d->handle[12], d->handle[13], d->handle[14], d->handle[15]);
+        if ( shadow_mode_enabled(d) ) {
+            printk("    shadow mode: ");
+            if ( shadow_mode_refcounts(d) )
+                printk("refcounts ");
+            if ( shadow_mode_write_all(d) )
+                printk("write_all ");
+            if ( shadow_mode_log_dirty(d) )
+                printk("log_dirty ");
+            if ( shadow_mode_translate(d) )
+                printk("translate ");
+            if ( shadow_mode_external(d) )
+                printk("external ");
+            if ( shadow_mode_wr_pt_pte(d) )
+                printk("wr_pt_pte ");
+            printk("\n");
+        }
 
         rangeset_domain_printk(d);